DEF=test
KOMPILE_BACKEND=haskell

include ../../../../include/kframework/ktest-fail.mak
